signature INTL =
sig
  type t
  
  val abs : t -> t
  val bogus : unit -> t
  val compare : t * t -> order
  val equals : t * t -> bool
  val fromInt : int -> t  
  val fromString : string -> t
  val isZero : t -> bool
  val println : t -> unit
  val toInt : t -> int
  val toString : t -> string
  val toString2 : t -> string
  val zero : t
  
  
  val gt : t * t -> bool
  val ge : t * t -> bool
  val lt : t * t -> bool
  val le : t * t -> bool
  val ne : t * t -> bool
  
  val plus : t * t -> t
  val minus : t * t -> t
  val times : t * t -> t
  val divide : t * t -> t
  val modus : t * t -> t
end
